package futbol5

import java.util.HashSet
import java.util.Set

class Post {
	
	
	@Property Set <Jugador> destino
	@Property String mensaje
	
	new(String elMensaje, HashSet<Jugador> elDestino) {
		
		mensaje = elMensaje
		destino = elDestino
	}
	
	def generarDestinos(){
		destino.map [ j | j.mail ]
		
	}

}